Short Exact Sequence

Definition

An exact sequence which contains three modules, with zeros on either side

{0}AfBgC{0}

is called a short exact sequence.

Lemma

In the short exact sequence as written above, f is injective and g is surjective.

Proof

The map on the far left maps zero to zero, while the map on the far right maps everything to zero. This means that ker(f)={0} and f is injective, as {0} is the image of the zero map, while im(g)=C and g is surjective, as C is the kernel of the zero map.


Definition

If {0}AfBgC{0} is a short exact sequence, we say that B is an extension of C by A.

This language is best understood by the relationship to quotient modules. f can be thought of as providing an isomorphism between A and a submodule of B, while surjectivity of g means that, by the first isomorphism theorem that

B/f(A)=B/im(f)=B/ker(g)im(g)=C.

In this sense every short exact sequence

{0}AfBgC{0}

leads to a quotient module isomorphism

B/f(A)C

and every quotient module B/A leads to a short exact sequence

{0}AιBπB/A{0}.